// --------------------------------------------------------------------------------------------------------------------

// <copyright file="TerminatesProgramAttribute.cs" company="Social Development Spb">

//   Copyright (c) Social Development Spb 2009

// </copyright>

// <summary>

//   Indicates that the marked method unconditionally terminates control flow execution.

//   For example, it could unconditionally throw exception.

// </summary>

// --------------------------------------------------------------------------------------------------------------------


using System;

namespace Diagnostics.Annotations
{
    #region Imported Namespaces

    

    #endregion


    /// <summary>
    /// Indicates that the marked method unconditionally terminates control flow execution.
    /// For example, it could unconditionally throw exception.
    /// </summary>
    [AttributeUsage(AttributeTargets.Method, AllowMultiple = false, Inherited = true)]
    public sealed class TerminatesProgramAttribute : Attribute
    {
    }
}